Ada programming language - PDFSEARCH.IO - Document Search Engine

Ada programming language
Results: 260

#	Item
111	Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification Johannes Kanig2 , Rod Chapman1 , Cyrille Comar2 , Jerˆome Guitton2 , Yannick Moy2 , and Emyr Rees1 1 Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-06-16 09:55:02 Formal methods Ada programming language SPARK Formal verification Ada KeY Sheaf Computing Software engineering Computer programming
112	ITP[removed]Are we there yet? 20 Years of industrial theorem proving with Spark July 15, 2014 Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-10-29 18:17:58 Ada programming language SPARK Formal methods Avionics Mathematical logic DO-178B Automated theorem proving Ada Type safety Computing Software engineering Programming language theory
113	Fall$2014:$EECS$Textbook$Order Please see the most updated information on http://wolverineaccess.umich.edu/ -> UM COURSE CATALOG -> Class Search (enter course subject and number) -> click on the class section number -> Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2014-05-23 11:24:57 Addison-Wesley Pearson PLC Theory of computation Textbook Ada Programming language Fawwaz T. Ulaby Computing Software engineering Computer programming
114	Automatic Programming Using Axiomatic Language Walter W. Wilson & Yu Lei, The Univ. of Texas at Arlington This grand challenge seeks to improve programmer productivity and software reliability. We assert that the ideal p Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2013-01-14 11:58:09 Computer programming Formal specification Programming language Specification C Software development process Ada Algorithm Axiomatic system Computing Formal methods Software engineering
115	The Blue Plaque Ada Lovelace Nick Rennison One of the more exotic figures in the history of computing, Ada Lovelace was the daughter of the romantic poet Lord Byron through his brief and disastrous marriage to Annabella Add to Reading List Source URL: downloads.bbc.co.uk Language: English - Date: 2006-07-24 07:23:37 Charles Babbage Fellows of the Royal Society Lord Byron Ada Lovelace Ada programming language Women in engineering Analytical Engine Anne Isabella Byron Baroness Byron Babbage British people United Kingdom Computing
116	Ada for the C++ or Java Developer Version 1.0 Quentin Ochem, AdaCore January 29, 2014 Add to Reading List Source URL: extranet.eu.adacore.com Language: English - Date: 2014-01-29 04:40:38 Cross-platform software Ada programming language Java programming language Ada Generic programming Procedural programming languages Java C++ Control flow Computing Software engineering Computer programming
117	1 Rationale for Ada 2005: 3 Structure and visibility John Barnes John Barnes Informatics, 11 Albert Road, Caversham, Reading RG4 7AN, UK; Tel: +[removed]; email: [removed] Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:00 Procedural programming languages Ada ALGOL 68 Subroutine Ada programming language Computing Software engineering Computer programming
118	DIGITAL ® RESEARCH Pascal/MT+™ Language Add to Reading List Source URL: www.cpm.z80.de Language: English - Date: 2009-12-12 11:20:13 Pascal Cross-platform software CP/M Compiler C Ada Turbo Pascal IP Pascal Computing Software Procedural programming languages
119	Rationale for Ada 2005 John Barnes © 2007 John Barnes Informatics 11 Albert Road Add to Reading List Source URL: www.adaic.org Language: English - Date: 2010-12-02 13:11:15 Ada programming language Ada Ravenscar profile SQL A Sharp Directive Pascal Computing Software engineering Programming language theory
120	Learning To Program in Lingo This handbook and the accompanying digital material provide an introduction to using the Lingo programming language embedded in Macromedia Director. process A Add to Reading List Source URL: www.agocg.ac.uk Language: English - Date: 1999-02-16 10:05:20 Bingo Scripting languages Lingo Adobe Director Programming language Ada Authoring system Television Computing Games

UPDATE